Publications

Publications of

Conference papers
  • Rami El Baida, Jean-Paul Bahsoun

    Automatic Verification ofConcurrent Object Properties

    In : ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 25/06/01-29/11/01, IEEE, June 2001.

    BibTeX

  • Jean-Paul Bahsoun, Rami El Baida, Hugues-Olivier Yar

    Decision Procedure for Temporal Logic of Concurrent Object

    In : 5th International Euro-Par’99 conferenceParallel Processing, Toulouse France, 31/08/99-03/09/99, Lecture Notes in Computer ScienceGoos, Hartmantis and LeeuwenSpringer, pp. 1344-1352, August 1999.

    BibTeX

Thesis
  • Rami El Baida

    Les composants logiciels réutilisables : méthodes de vérification

    Master’s Thesis, Université Paul Sabatier, July 2004.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by